 /*******************************************************************************
  * Copyright (c) 2000, 2005 IBM Corporation and others.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  * IBM Corporation - initial API and implementation
  *******************************************************************************/
 package org.eclipse.core.internal.runtime;

 import java.util.Date ;
 import org.eclipse.core.runtime.*;

 public class Policy {

     public static IProgressMonitor monitorFor(IProgressMonitor monitor) {
         if (monitor == null)
             return new NullProgressMonitor();
         return monitor;
     }

     public static IProgressMonitor subMonitorFor(IProgressMonitor monitor, int ticks) {
         if (monitor == null)
             return new NullProgressMonitor();
         if (monitor instanceof NullProgressMonitor)
             return monitor;
         return new SubProgressMonitor(monitor, ticks);
     }

     public static IProgressMonitor subMonitorFor(IProgressMonitor monitor, int ticks, int style) {
         if (monitor == null)
             return new NullProgressMonitor();
         if (monitor instanceof NullProgressMonitor)
             return monitor;
         return new SubProgressMonitor(monitor, ticks, style);
     }

     /**
      * Print a debug message to the console.
      * Pre-pend the message with the current date and the name of the current thread.
      */
     public static void debug(String message) {
         StringBuffer buffer = new StringBuffer ();
         buffer.append(new Date (System.currentTimeMillis()));
         buffer.append(" - ["); //$NON-NLS-1$
 buffer.append(Thread.currentThread().getName());
         buffer.append("] "); //$NON-NLS-1$
 buffer.append(message);
         System.out.println(buffer.toString());
     }
 }

